(Info-insert-dir): Record file attributes of files used.
authorRichard M. Stallman <rms@gnu.org>
Sat, 19 Jun 1993 20:18:05 +0000 (20:18 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 19 Jun 1993 20:18:05 +0000 (20:18 +0000)
commitc142ab2d38d91af83c8351fc702f8d3fea1ba59d
treec765d1342e74b0c10483e36c6bebfe9b14df510a
parent3be6243a7dd313b0f3eb1fdd11f7ef6d8152853a
(Info-insert-dir): Record file attributes of files used.
Recompute the dir if they change.
lisp/info.el